منابع مشابه
Attributive Uses of Prosentences
Defenders of the prosentential theory of truth claim that the English language contains prosentences which function analogously to their better known cousins – pronouns. Statements such as ‘That is true’ or ‘It is true’, they claim, inherit their content from antecedent statements, just as pronouns inherit their reference from antecedent singular terms. Prosentential theorists claim that the co...
متن کاملFormalization of Wu's Simple Method in Coq
We present in this paper the integration within the Coq proof assistant, of a method for automatic theorem proving in geometry. We use an approach based on the validation of a certificate. The certificate is generated by an implementation in Ocaml of a simple version of Wu’s method.
متن کاملFunctions of attributive adjectives in English
This is a paper about premodification in the English noun phrase, focusing on functions of attributive adjectives. Modification in general is an issue that has received comparatively little attention in linguistic research, at least outside the field of syntax (see eg Frawley 1992: 437); Although there are some systematic descriptions of premodifier functions to be found in the literature, much...
متن کاملAttributive Description Formalisms
Research in knowledge representation has led to the development of so-called terminological logics, the purpose of which is to support the representation of the conceptual and terminological part of Artificial Intelligence applications. Independently, in computational linguistics, so-called feature logics have been developed which are aimed at representing the semantic and syntactic information...
متن کاملAttributive Wrong Bernhard
In well-behaved cases of adjectival modification, the adjective-noun sequence describes a firstorder property whose content is fully determined by the contents of the adjective and the noun. For example, the truth conditions of They hired a vegetarian dentist, They hired a former linguist, and They hired an electrical engineer, are functions of the property of being a vegetarian dentist, of bei...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Civil Aviation High TECHNOLOGIES
سال: 2019
ISSN: 2542-0119,2079-0619
DOI: 10.26467/2079-0619-2019-22-2-8-15